Extensions of the $\aleph_0$-valued Ł ukasiewicz propositional logic.

Equality propositional logic and its extensions

We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...

Extensions of the ℵ0-Valued Lukasiewicz Propositional Logic

MV-algebras were introduced by Chang in 1958 preliminary to his providing an algebraic completeness proof for the K0-vaΓued Lukasiewicz propositional logic, LXo. In this paper a method is given for determining, for an arbitrary normal extension of LKo, an MV-algebra characteristic for the extension. The characteristic algebras are finite direct products of two sets of linearly ordered MV-algebr...

Querying with ?ukasiewicz logic

A Four-Valued Fuzzy Propositional Logic

It is generally accepted that knowledge based systems would be smarter and more robust if they can manage inconsistent, incomplete or imprecise knowledge. This paper is about a four-valued fuzzy propositional logic, which is the result of the combination of a four-valued logic and a fuzzy propositional logic. Besides the nice computational properties, the logic enables us also to deal both with...

Querying with ?ukasiewicz logic